|
|
Generování sekvenčních diagramů z modelů Petriho sítí
Kelemen, Erik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Táto práca se zaoberá transformáciou modelu systému popísaného objektovo orientovanou Petriho sieťou na sekvenčný diagram, ktorý umožňuje spätné mapovanie aktivít sekvenčného diagramu do popisu modelu. K riešeniu je použitá diskrétna simulácia modelu popísaná jazykom PNtalk. Výsledkom práce je plne automatický generátor, ktorý pomocou dát z diskrétnej simulácie vygeneruje sekvenčný diagram. Pre generátor je dôležitá minimálna strata informácie zo simulácie a prezentácia validného sekvenčného diagramu.
|
|
|
Cloudové řešení pro zpracování 3D modelů
Klemens, Jakub ; Veľas, Martin (oponent) ; Španěl, Michal (vedoucí práce)
Tato práce se zabývá možnostmi zpracování 3D modelů v prostředí cloudových aplikací. Na základě získaných znalostí vznikla knihovna Cloud3D implementována v jazyce C++. Výsledná knihovna slouží k rychlému vytváření klient-server aplikací. Knihovna je rozdělena do tří samostatných částí: klient, poskytovatel služeb a Load Balancer. Poskytovatel služeb pracuje v cloudu a umožňuje zpracovávání 3D modelů, které mu zašle klient. Největší výhodou knihovny Cloud3D je jednoduchost vytváření nových aplikací s její pomocí. Mezi další výhody patří škálovatelnost, zajištěna implementací look-a-side Load Balanceru, a bezpečnost, zajištěna použitím SSL certifikace.
|
|
|
Security mechanisms of OS Android utilizing the Kotlin language
Balaževič, Lukáš ; Mašek, Pavel (oponent) ; Zeman, Kryštof (vedoucí práce)
Mobile devices are a novelty in technological history. With technology that is evolving at such a rapid pace and growth in use, it is necessary to pay attention to security. This diploma thesis deals with the analysis of the security mechanisms used in the Android OS and the communication between the Android OS and the remote server. The aim is to examine these mechanisms and test which cryptographic methods and procedures are most advantageous in terms of security with regard to efficiency. This knowledge was used to create a demonstration system that uses selected security mechanisms and cryptographic methods.
|
|
|
Podpora pro prediktivní škálování aplikací na platformě Kubernetes
Fridrich, David ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
Cílem této práce je vytvořit nové rozhraní, které umožní uživateli zpracovávat sbírané metriky pro škálování podle definované formule (např. využití průměrné hodnoty, matematických rovnic, podmíněných příkazů apod.), kterou sám definuje. Dále umožňuje využít externí rozhraní pro připojení komponenty, který definuje vlastní škálovací chování, pomocí kterého může uživatel docílit automatizovaného prediktivního škálování aplikací na platformě Kubernetes. Zvolené problémy jsem vyřešil upravením jádra KEDY implementací nového rozhraní pro škálování podle vlastní formule s aritmetickými a podmiňovacími výrazy a možnosti připojení vlastní externí metody pro výpočet metrik pomocí gRPC technologie. Vytvořené řešení poskytuje flexibilnější způsob zpracovávání metrik a také umožňuje implementovat způsob zcela vlastní
|
|
|
Generování sekvenčních diagramů z modelů Petriho sítí
Kelemen, Erik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Táto práca se zaoberá transformáciou modelu systému popísaného objektovo orientovanou Petriho sieťou na sekvenčný diagram, ktorý umožňuje spätné mapovanie aktivít sekvenčného diagramu do popisu modelu. K riešeniu je použitá diskrétna simulácia modelu popísaná jazykom PNtalk. Výsledkom práce je plne automatický generátor, ktorý pomocou dát z diskrétnej simulácie vygeneruje sekvenčný diagram. Pre generátor je dôležitá minimálna strata informácie zo simulácie a prezentácia validného sekvenčného diagramu.
|
|
|
Security mechanisms of OS Android utilizing the Kotlin language
Balaževič, Lukáš ; Mašek, Pavel (oponent) ; Zeman, Kryštof (vedoucí práce)
Mobile devices are a novelty in technological history. With technology that is evolving at such a rapid pace and growth in use, it is necessary to pay attention to security. This diploma thesis deals with the analysis of the security mechanisms used in the Android OS and the communication between the Android OS and the remote server. The aim is to examine these mechanisms and test which cryptographic methods and procedures are most advantageous in terms of security with regard to efficiency. This knowledge was used to create a demonstration system that uses selected security mechanisms and cryptographic methods.
|
|
|
Cloudové řešení pro zpracování 3D modelů
Klemens, Jakub ; Veľas, Martin (oponent) ; Španěl, Michal (vedoucí práce)
Tato práce se zabývá možnostmi zpracování 3D modelů v prostředí cloudových aplikací. Na základě získaných znalostí vznikla knihovna Cloud3D implementována v jazyce C++. Výsledná knihovna slouží k rychlému vytváření klient-server aplikací. Knihovna je rozdělena do tří samostatných částí: klient, poskytovatel služeb a Load Balancer. Poskytovatel služeb pracuje v cloudu a umožňuje zpracovávání 3D modelů, které mu zašle klient. Největší výhodou knihovny Cloud3D je jednoduchost vytváření nových aplikací s její pomocí. Mezi další výhody patří škálovatelnost, zajištěna implementací look-a-side Load Balanceru, a bezpečnost, zajištěna použitím SSL certifikace.
|
|
|
Communication in mobile edge-cloud environment
Papík, Ondřej ; Hnětynka, Petr (vedoucí práce) ; Bulej, Lubomír (oponent)
Edge-cloud přináší výpočetní sílu co nejblíže ke klientům. To zmenšuje latency a celkový výpočetní čas v cloudu. Vzhledem k tomu, že klienti jsou mobilní, tak musíme přesouvat úkoly mezi různými servery. Cílem této práce je prozkoumat možné problémy v komunikaci a navrhnout architekturu frameworku. Náš frame- work používá gRPC a je napsán jako modul. Je platformě nezávislý, používá spolehlivou komunikaci a zaměřuje se na jednoduchost použití. Je vytvořena implementace tohoto frameworku spolu s několika příklady použití. 1
|
host ::
RSS.